n (set theory) The direct product of an indexed family of sets is the set of functions from the indexing set to the union of the family, whose values at any given index lie in the set indexed thereby.